#ifndef __MBED_TINYDTLS_H__
#define __MBED_TINYDTLS_H__

#define TRACELOG(x) x

// tinydtls
#include "dtls_config.h"
extern "C" {
#include "dtls.h"
#include "debug.h"
}

///////////////////////////////////////////////////////////////////////////////
// tinydtls globals 
extern dtls_context_t *dtls_context;
extern session_t g_dst;
extern uint8_t *clearText;
extern int clearTextLen;

// for now, let's use hardcoded PSK
/* The PSK information for DTLS */
#define PSK_ID_MAXLEN 64
//#define PSK_DEFAULT_IDENTITY "Client_identity"
#define PSK_DEFAULT_IDENTITY "f661da6986ef7a2b73c2086fa1771f3a"
#define PSK_MAXLEN 64
//#define PSK_DEFAULT_KEY      "secretPSK"
#define PSK_DEFAULT_KEY       "8f83d2750522ad48"

int tinydtls_init(int *sockfd);
///////////////////////////////////////////////////////////////////////////////

#endif
